\newif\ifrelease
\releasefalse
\newcommand{\releasename}{DRAFT}
\input{riscv-debug-spec.tex}
